Verification of flexible calculations in Beast
- Författare
- Mattias Johansson
- (Mattias Johansson., Examensarbete, Med sammanfattning på svenska)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2006 | Sverige, Göteborg | v, 48, iii sidor. ill. |